French translation for "abstract interpretation"

interprétation abstraite

Example Sentences:

	1.	This section illustrates abstract interpretation by means of real-world, non-computing examples. Commençons par définir l'interprétation abstraite dans un exemple concret et non informatique.
	2.	Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation, an influential technique in formal methods. Avec son mari Patrick Cousot, Radhia Cousot définit l'interprétation abstraite,, une technique de méthode formelle.
	3.	Given a programming or specification language, abstract interpretation consists of giving several semantics linked by relations of abstraction. Étant donné un langage de programmation ou de spécification, l'interprétation abstraite consiste à déterminer des sémantiques liées par des relations d'abstraction.
	4.	In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. L'interprétation abstraite est une théorie d'approximation de la sémantique de programmes informatiques fondée sur les fonctions monotones pour ensembles ordonnés, en particulier les treillis (en anglais : lattice).
	5.	Former student from École polytechnique (class of 1984), then from Mines ParisTech, engineer at the Corps des mines, he obtained a doctorate in information technology from École polytechnique in 1992 on the Semantics of imperative languages and higher-order abstract interpretation, under the direction of Patrick Cousot. Ancien élève de l'École polytechnique (promotion 1984), puis de l'École des mines de Paris, ingénieur au Corps des mines, il obtient en 1992 un doctorat en informatique de l'École polytechnique sur la Sémantique des langages impératifs d'ordre supérieur et interprétation abstraite, sous la direction de Patrick Cousot.

Similar Words：

"abstract expressionism" French translation, "abstract factory pattern" French translation, "abstract family of languages" French translation, "abstract idea" French translation, "abstract index notation" French translation, "abstract machine" French translation, "abstract meaning representation" French translation, "abstract nonsense" French translation, "abstract noun" French translation